Support rebooting VMX domains
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 11 Aug 2005 21:03:16 +0000 (21:03 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 11 Aug 2005 21:03:16 +0000 (21:03 +0000)
commitca21e61a00c864f707a7d077a23c234b1cf6c41a
tree962cc5254d3826e4a53d923336924b612da8a8c2
parentf1e7438c3516cf3f98964b172b2da59567d93971
Support rebooting VMX domains

Signed-off-by: Ke Yu <ke.yu@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
tools/ioemu/target-i386-dm/helper2.c
tools/ioemu/vl.c
tools/ioemu/vl.h